branching time temporal logic

分支时间时态逻辑(电路)

热门查询

scuff　　n. 拖着脚走；磨损之处 vt. 使磨损；践踏；拖着脚走 vi. 磨损；拖着脚走
uprooting　　n. 根除；挖除伐根 v. 连根拔起；根除（uproot的ing形式）
fast food　　n. 快餐；速食 [网络] 快餐食品；快餐店；速食店
bantamweight　　n. 次轻量级摔跤运动员；羽量级
Coniston　　[地名] [澳大利亚、加拿大、英国] 科尼斯顿
benching　　n. 钳工加工；阶梯式开采；台阶式挖土法 v. 形成阶地；为…设置条凳（bench的ing形式）
Sien　　n. (Sien)人名；(柬)暹
citrate　　n. 柠檬酸盐
inheritable　　adj. 可继承的；会遗传的
ambulatory　　n. [建] 回廊 adj. 流动的；走动的；非固定的
thalassemia　　n. 地中海贫血；库利氏贫血
trademark　　n. 商标标志
Handley　　[人名] [英格兰人姓氏] 汉德利住所名称，来源于古英语，含义是“高+树林，开垦地”(high+wood,clearing); [人名] [爱尔兰姓氏] 汉德利盖尔语姓氏的英语形式，来源于人名，含义是“维护者”(champion); [地名] [英国、英国] 汉德利
sloped　　adj. 倾斜的 v. 倾斜；使倾斜（slope的过去式）
salted　　adj. 盐的；盐腌的；有经验的 v. 加盐于；使…增添兴趣；用盐腌制（salt的过去分词）
tissue　　n. 组织；纸巾；薄纱；一套 vt. 饰以薄纱；用化妆纸揩去
savin　　n. [林] 新疆圆柏（等于savine） n. (Savin)人名；(法)萨万；(英)萨文；(塞、俄、芬、罗、瑞典)萨温
thoroughly　　adv. 彻底地，完全地
shamed　　使羞耻（ shame的过去式和过去分词）
all-out　　adj. 全部的；竭尽全力的；毫无保留的